#ifdef __x86_64__
#include <stdio.h> 
#include <execinfo.h>
#include <malloc.h>

void print_trace(void) {
  void *array[10];
  size_t size;
  char **strings;
  size_t i;

  size = backtrace(array, 10);
  strings = backtrace_symbols(array, size);

  printf("Obtained %zd stack frames.\n", size);

  for (i = 0; i < size; i++)
     printf("%s\n", strings[i]);

  free(strings);
}
#endif
